home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / glass / glass.lha / GLASS / dtm / test3.gl < prev    next >
Text File  |  1991-06-18  |  381b  |  23 lines
  1.  
  2. Basetype E;
  3.  
  4. Atom
  5.    not :- E => E,
  6.    nand2 :- E & E => E,
  7.    adc :- E & E & E => E & E,
  8.    div2 :- E => E;
  9.  
  10.  
  11. Def
  12.    sel :- E & E & E => E;
  13.    sel [s, a, b] = nand2 [nand2 [not s, a], nand2 [s, b]];
  14.  
  15. Mac
  16.    divchain :- Int -> E => E -> E => E;
  17.    divchain 0 A in = in;
  18.    divchain n A in = divchain (n-1) A (A in);
  19.  
  20. Def
  21.    div1024 :- E => E;
  22.    div1024 in = divchain 10 div2 in;
  23.